Applications of Evolutionary Computing: EvoWorkshops 2004: EvoBIO, EvoCOMNET, EvoHOT, EvoIASP, EvoMUSART, and EvoSTOC, Coimbra, Portugal, April 2004, ... 3005 (Lecture Notes in Computer Science)
by Günther R. Raidl,Rolf Drechsler,Jürgen Branke,Stefano Cagnoni,David W. Corne
ISBN 13: 9783540213789
Format: Paperback (588 pages) Publisher: Springer Published: 25 Mar 2004
Save for later
Formal Specification Level: Concepts, Methods, and Algorithms
by Mathias Soeken,Rolf Drechsler
ISBN 13: 9783319086989
Format: Hardcover (148 pages) Publisher: Springer Published: 30 Nov 2014
Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
by Ulrich Kühne, Rolf Drechsler
ISBN 13: 9783658099930
Format: Paperback (328 pages) Publisher: Springer Vieweg Published: 25 Jun 2015
Reversible and Quantum Circuits: Optimization and Complexity Analysis
by Nabila Abdessaied,Rolf Drechsler
ISBN 13: 9783319319353
Format: Hardcover (210 pages) Publisher: Springer Published: 14 May 2016
Automatic Methods for the Refinement of System Models: From the Specification to the Implementation (SpringerBriefs in Electrical and Computer Engineering)
by Julia Seiter,Robert Wille,Rolf Drechsler
ISBN 13: 9783319414799
Format: Paperback (104 pages) Publisher: Springer Published: 11 Jul 2016
Exact Design of Digital Microfluidic Biochips
by Oliver Keszocze,Robert Wille,Rolf Drechsler
ISBN 13: 9783319909356
Format: Hardcover (146 pages) Publisher: Springer Published: 21 Jun 2018
Design Automation Techniques for Approximation Circuits: Verification, Synthesis and Test
by Arun Chandrasekharan,Daniel Große,Rolf Drechsler
ISBN 13: 9783319989648
Format: Hardcover (152 pages) Publisher: Springer Published: 24 Oct 2018
Robustness and Usability in Modern Design Flows
by Görschwin Fey,Rolf Drechsler
ISBN 13: 9789048176625
Format: Paperback (184 pages) Publisher: Springer Published: 19 Oct 2010
Test Pattern Generation using Boolean Proof Engines
by Rolf Drechsler,Stephan Eggersglüß,Görschwin Fey,Daniel Tille
ISBN 13: 9789048184910
Format: Paperback (204 pages) Publisher: Springer Published: 19 Oct 2010
ISBN 13: 9783319811581
Format: Paperback (208 pages) Publisher: Springer Published: 30 May 2018
High Quality Test Pattern Generation and Boolean Satisfiability
by Stephan Eggersglüß,Rolf Drechsler
ISBN 13: 9781489988478
Format: Paperback (212 pages) Publisher: Springer Published: 20 Oct 2014
Quality-Driven SystemC Design
by Daniel Große,Rolf Drechsler
ISBN 13: 9789400791923
Format: Paperback (192 pages) Publisher: Springer Published: 16 Oct 2014